Reasoning about coalitional games
نویسندگان
چکیده
منابع مشابه
Reasoning about coalitional games
Article history: Received 15 September 2007 Received in revised form 6 August 2008 Accepted 10 August 2008 Available online 23 August 2008
متن کاملReasoning About Games
A mixture of propositional dynamic logic and epistemic logic is used to give a formalization of Artemov’s knowledge based reasoning approach to game theory, (KBR), [4, 5, 6, 7]. We call the (family of) logics used here PDL + E. It is in the general family of Dynamic Epistemic Logics [21], was applied to games already in [20], and investigated further in [18, 19]. Epistemic states of players, us...
متن کاملModal extension of Łukasiewicz logic for reasoning about coalitional power
Modal logics for reasoning about the power of coalitions capture the notion of effectivity functions associated with game forms. The main goal of coalition logics is to provide formal tools for modeling the dynamics of a game frame whose states may correspond to different game forms. The two classes of effectivity functions studied are the families of playable and truly playable effectivity fun...
متن کاملExpressivity and Complexity of Reasoning about Coalitional Interaction: Extended Abstract
This paper studies expressivity and complexity of normal modal logics for reasoning about coalitional power in multi-agent systems with agents that have preferences. A class of local and global notions relevant for reasoning about cooperation is identified. Many of these notions naturally correspond to concepts from game theory or social choice theory. The expressive power required to express t...
متن کاملTR-2010002: Reasoning About Games
A mixture of propositional dynamic logic and epistemic logic is used to give a formalization of Artemov’s knowledge based reasoning approach to game theory, (KBR), [4, 5, 6, 7]. We call the (family of) logics used here PDL + E. It is in the general family of Dynamic Epistemic Logics [21], was applied to games already in [20], and investigated further in [18, 19]. Epistemic states of players, us...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Artificial Intelligence
سال: 2009
ISSN: 0004-3702
DOI: 10.1016/j.artint.2008.08.004